is_leaf(t) == Case(t) Case tree_leaf(l) => true Default => false 

latex

Definitions	is_leaf(t), Case(value) body, Case tree_leaf(x) => body(x) cont, true, Default => body, false
FDL editor aliases	is_leaf